Abel is a strongly typed object-oriented programming language with contravariant semantics where subtypes are distinguished from inherited interfaces.
It was created by Walter Hill at HP Labs.